4161. Towards a formal description of Ada
پدیدآورنده: edited by D. Bjørner and O.N. Oest.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
4162. Transactions on pattern languages of programming II
پدیدآورنده: James Noble ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers),Software engineering,Software patterns
رده :
QA76
.
76
.
P37
T73
2011
4163. Transactions on pattern languages of programming IV /
پدیدآورنده: James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Programming languages (Electronic computers),Software patterns.,Programming languages (Electronic computers),Software patterns.
رده :
QA76
.
76
.
P37
4164. Transitioning to Swift /
پدیدآورنده: Scott Gardner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Application software-- Development,Programming languages (Electronic computers)
رده :
QA76
.
76
.
A65
4165. Translation of programming languages
پدیدآورنده: Jonas, Ronald William.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
J62
4166. Transputer instruction set
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Compiling (Electronic computers)►Transputers- Programming
رده :
7895
.
T73
,
T62
4167. Transputer instruction set
پدیدآورنده: / INMOS Limited
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Compiling (Electronic computers),Transputers - Programming
رده :
QA
76
.
76
.
C65T73
1988
R
4168. Transputer instruction set
پدیدآورنده: / INMOS Limited
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Compiling (Electronic computers),Transputers - Programming
رده :
QA
76
.
76
.
C65T73
1988
R
4169. Tree automata and languages
پدیدآورنده: / edited by Maurice Nivat, Andreas Podelski
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Sequential machine theory,Trees (Graph theory),Programming languages (Electronic computers)
رده :
QA
267
.
5
.
S4
T74
1992
4170. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده: edited by Hélène Kirchner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996
4171. Trends in functional programming :
پدیدآورنده: edited by Meng Wang, Scott Owens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
4172. Truth, deduction, and computation
پدیدآورنده: / R.E. Davis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
4173. Turbo C
پدیدآورنده: Borland
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Programming )electronic computers(,، Computers
رده :
QA
76
.
73
.
T9
4174. Turbo C++ suite.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Application software.,Compilers (Computer programs),Programming languages (Electronic computers)
رده :
QA76
.
73
.
C153
T873
1998
4175. Turbo Pascal
پدیدآورنده: / [computer file]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
رده :
QA76
,.
73
.
P21
1990
4176. Turbo Pascal
پدیدآورنده: / [computer file]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
رده :
QA76
,.
73
.
P22
1990
4177. Turbo Pascal
پدیدآورنده: / [computer file]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
رده :
QA76
,.
73
.
P23
1990
4178. Turbo Pascal
پدیدآورنده: / [computer file]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Object-oriented programming (Computer science), Software,Compilers (Computer programs), Software,Programming languages (Electronic computers), Software
رده :
QA76
,.
73
.
P2
1990
4179. Turbo Pascal
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Object-oriented programming (Computer science)- Software,Compilers (Computer programs)- Software,Programming languages (Electronic computers)- Software
رده :
QA76
.
73
.
P2
4180. Turbo Pascal : Library reference
پدیدآورنده:
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Turbo Pascal )computer file(,، Programming languages )Electronic computers( -- Software
رده :
QA
76
.
73
.
P2T86
